الكتب الالكترونية

  1. الرئيسية
  2. الكتب الالكترونية
عدد الكتب: 1 - 5 /5
978-3-540-69336-9
Ada 2005 Reference Manual. Language and Standard Libraries

The Ada 2005 Reference Manual incorporates these changes in the overall standard text and thus will replace the former versions ...

اقرأ المزيد
978-3-540-73230-3
Reliable Software Technologies - Ada Europe 2007

Reliable Software Technologies is an annual series of international conferences devoted to the promotion and advancement ...

اقرأ المزيد
978-3-540-68624-8
Reliable Software Technologies - Ada-Europe 2008 : 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings

This book covers topics ranging from formal verification to real-time systems via concurrency, embedded systems, language ...

اقرأ المزيد
978-3-540-34664-7
Reliable Software Technologies -- Ada-Europe 2006

This book constitutes the refereed proceedings of the 11th International Conference on Reliable Software Technologies, Ada- ...

اقرأ المزيد
978-3-540-31666-4
Reliable Software Technology – Ada-Europe 2005

Started on the inspired initiative of Prof. Alfred Strohmeier back in 1996, and spawned from the annual Ada-Europe conference ...

اقرأ المزيد
عدد الكتب: 1 - 5 /5